<?php
    echo "ok\n";
?>
